1. Advances in Verification of Time Petri Nets and Timed Automata :
پدیدآورنده : by Wojciech Penczek, Agata Pólrola.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence.,Engineering mathematics.,Engineering.
رده :
QA267
.
B996
2006
2. Advances in Verification of Time Petri Nets and Timed Automata :
پدیدآورنده : by Wojciech Penczek, Agata Pólrola.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence.,Engineering mathematics.,Engineering.
3. CAST Methods in Modelling :
پدیدآورنده : edited by Franz Pichler, Heinz Schwärtzel.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Computer-aided design.,Engineering mathematics.
رده :
TA168
.
E358
1992
4. Cause-effect structures :
پدیدآورنده : Ludwik Czaja.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Nets (Mathematics),Semigroup rings.,Nets (Mathematics),Semigroup rings.
رده :
QA251
.
35
.
C93
2019
5. Coloured Petri Nets :
پدیدآورنده : by Kurt Jensen.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Computer simulation.,Software engineering.
رده :
QA267
.
B958
1992
6. Communication-Based Systems
پدیدآورنده : edited by Günter Hommel.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Algebra.,Computer science.,Mathematics.,Software engineering.,Systems theory.
7. Computer systems performance evaluation and prediction /
پدیدآورنده : Paul J. Fortier, Howard E. Michel.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer systems-- Evaluation.,Computer systems-- Reliability.,Avaliação de desempenho de computadores.,Computer systems-- Evaluation.,Computer systems-- Reliability.,COMPUTERS-- Systems Architecture-- General.,Datenverarbeitungssystem,Leistungsbewertung
رده :
QA76
.
9
.
E94
F67
2003eb
8. Contemporary issues in systems science and engineering /
پدیدآورنده : edited by MengChu Zhou, Han-Xiong Li, Margot Weijnen
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Systems engineering.
رده :
TA168
.
C635
2015
9. Discrete, continuous, and hybrid Petri Net
پدیدآورنده : / Renae David and Hassane Alla
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Petri nets,Mathematics
رده :
QA267
.
D36
2010
10. Formal and natural computing : essays dedicated to Grzegorz Rozenberg
پدیدآورنده : Wilfried Brauer...]et al.[ )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Programming languages )Electronic computers(,، Computer science -- Mathematics,، Machine theory,، Petri nets,، Graph grammars,، Rozenberg, Grzegorz
رده :
QA
76
.
L28
Vol
.
2300
11. Formal aspects of component software :
پدیدآورنده : Kyungmin Bae, Peter Csaba Ölveczky (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Component software, Congresses.,Formal methods (Computer science), Congresses.,Logics and Meanings of Programs.,Component software.,Computer programming / software development.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
رده :
QA76
.
9
.
F67
12. Language and automata theory and applications :
پدیدآورنده : edited by Shmuel Tomi Klein, Carlos Martín-Vide, Dana Shapira.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Formal languages, Congresses.,Machine theory, Congresses.,Mathematical linguistics, Congresses.,Algorithms & data structures.,Artificial intelligence.,Computer programming-- software development.,Computers-- Intelligence (AI) & Semantics.,Computers-- Mathematical & Statistical Software.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Formal languages.,Machine theory.,Mathematical linguistics.,Mathematical theory of computation.,Mathematics-- Logic.,Maths for computer scientists.
رده :
QA267
.
L38
2018
13. Mathematical modelling, applied analysis and computation :
پدیدآورنده : Jagdev Singh, Devendra Kumar, Hemen Dutta, Dumitru Baleanu, Sunil Dutt Purohit, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Mathematical models, Congresses.,Mathematical models.
رده :
QA401
.
I36
2019eb
14. Petri net algebra
پدیدآورنده : Best, Eike
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Parallel processing )Electronic computers(,، Computer science - Mathematics,، Petri nets
رده :
QA
76
.
58
.
B48
2001
15. Petri net algebra
پدیدآورنده : Eike Best; Raymond Devillers; Maciej Koutny
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science -- Mathematics.,Parallel processing (Electronic computers),Petri nets.
رده :
QA76
.
58
E354
2010
16. Petri net algebra
پدیدآورنده : Best, Eike
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Parallel processing )Electronic computers(,، Computer science-- Mathematics,، Petri nets
رده :
QA
76
.
58
.
B48
2001
17. Positive systems :
پدیدآورنده : edited by James Lam, Yun Chen, Xingwen Liu, Xudong Zhao, Junfeng Zhang.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computational intelligence, Congresses.,Control theory-- Computer programs, Congresses.,Positive systems, Congresses.,Computational intelligence.,Control theory-- Computer programs.,Engineering.,Positive systems.
رده :
QA402
.
L43x
v
.
480
18. Practical reliability engineering /
پدیدآورنده : Patrick P. O'Connor and Andre Kleyner.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Reliability (Engineering)
19. Quality of Communication-Based Systems :
پدیدآورنده : edited by Günter Hommel.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Mathematics.,Software engineering.
رده :
QA76
.
9
.
A23
E358
1995
20. Reachability problems :
پدیدآورنده : Igor Potapov, Pierre-Alain Reynier (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science-- Mathematics, Congresses.,Computer systems-- Verification, Congresses.,Decidability (Mathematical logic), Congresses.,Logics and Meanings of Programs.,Math Applications in Computer Science.,Numeric Computing.,Probability and Statistics in Computer Science.,Computer programming / software development.,Computer science-- Mathematics.,Computer systems-- Verification.,Computers-- Data Processing.,Computers-- Mathematical & Statistical Software.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Decidability (Mathematical logic),Mathematical theory of computation.,Maths for computer scientists.
رده :
QA76
.
76
.
V47
